Reading an algebra textbook
نویسنده
چکیده
We report on a formalisation experiment where excerpts from an algebra textbook are compared to their translation into formal texts of the Isabelle/Isar prover, and where an attempt is made in the formal text to stick as closely as possible with the structure of the informal counterpart. The purpose of the exercise is to gain understanding on how adequately a modern algebra text can be represented using the module facilities of Isabelle. Our initial results are promising.
منابع مشابه
Examining Identity Options in Native and Nonnative Produced Textbooks Taught in Iran: A Critical Textbook Evaluation
Considering the crucial role textbook evaluation plays in any educational system, this study evaluated 2 textbook series with respect to the identity options they offer to Iranian learners of English. Data were gathered based on reading passages, dialogues, and pictures of Right Path to English (RPE) and Cambridge English for Schools (CES). Although this study is mainly qualitative in nature, q...
متن کاملEvaluation of “Mosaic 1 Reading”: A Microstructural Approach to Textual Analysis of Pedagogical Materials
To analyze and evaluate textbooks, researchers have either proposed scales and checklists to be filled by teachers and learners or conducted qualitative investigations of the match between SLA theories and textbook activities. This study, however, employs the microstructural approach of schema theory to scrutinize the reading passages of “Mosaic 1 Reading”. To this end, 17 passages of the textb...
متن کاملContent Evaluation of Iranian EFL Textbook Vision 1 Based on Bloom’s Revised Taxonomy of Cognitive Domain
Textbooks are considered as the common features of the classrooms and are important means to make contributions to curricula. Therefore, their contents are very essential to develop the adequate curriculum planning. A textbook analysis is a means by which different features of the textbooks can be analyzed and hence their effectiveness is validated. This study set out to evaluate the content of...
متن کاملThe Intertextuality in an English as a Foreign Language Textbook: An Analytical Study of Interchange Fourth Edition
This study investigated the utilization of intertextuality in the fourth edition of the Interchange book series for English as Foreign Language (EFL) Learners using Fairclough’s (1992) framework. Ten texts were randomly chosen among the reading passages of the Interchange book series and later analyzed regarding intertextuality kinds and methods of reporting. Findings indicated that two types o...
متن کاملPeer Instruction: Ten years of experience and results
We report data from ten years of teaching with Peer Instruction ~PI! in the calculusand algebra-based introductory physics courses for nonmajors; our results indicate increased student mastery of both conceptual reasoning and quantitative problem solving upon implementing PI. We also discuss ways we have improved our implementation of PI since introducing it in 1991. Most notably, we have repla...
متن کامل